#include "inc/os.h"

void start_kernel(void){ 
	uint8_t *gpio_data = (uint8_t *)0x30000004;
	while(1){
        	// 第一个灯亮起
        	*gpio_data = 1;
        	for(int i = 0; i < 1000000; i++); // delay
 
        	// 第二个灯亮起
        	*gpio_data = 2;
        	for(int i = 0; i < 1000000; i++); // delay
 
        	// 第三个灯亮起
        	*gpio_data = 4;
        	for(int i = 0; i < 1000000; i++); // delay
 
   	        // 第四个灯亮起
        	*gpio_data = 8;
	       	for(int i = 0; i < 1000000; i++); // delay
    	}
	
    	while(1){}; // stop here!
}
